short homotopy

短同伦